-
1 доказывать существование
Доказывать существование-- Nevertheless, the evidence now available does argue for the existence of an initial phase of vaporous growth.Русско-английский научно-технический словарь переводчика > доказывать существование
-
2 доказывать существование предмета спора
Универсальный русско-английский словарь > доказывать существование предмета спора
-
3 доказывать
•This establishes that xn is a Cauchy sequence.
* * *Доказывать -- to argue, to argue for, to demonstrate, to prove, to reason, to substantiateTests with an experimental machine have proved that this metering concept can be quite effective.Русско-английский научно-технический словарь переводчика > доказывать
-
4 существование
Русско-английский научно-технический словарь переводчика > существование
-
5 существование
existence, presence, occurrence, life-span• Действительно, это повлекло бы за собой существование... - For this would imply the existence of...• Его существование, как легко можно убедиться, есть простое следствие... - Its existence can simply be seen as a consequence of...• Мы не предлагаем доказывать существование (решения и т. п.)... - We do not propose to prove the existence of...• Мы обсудим причину существования... - We shall discuss the reason for the existence of...• Мы обсудим проблему существования и единственности для... - We shall discuss the existence and uniqueness problem for...• Эта модель не исключает существования... - This model does not exclude the existence of...• Эти явления указывают на существование... - These phenomena point to the existence of...• Это не объясняет существования (чего-л). - It does not explain the existence of...• Это приводит нас к идее постулировать существование... - This leads us to postulate the existence of...• Это является следствием предположения относительно существования... - This is a consequence of assuming the existence of... -
6 доказывать
(= доказать, обосновать, показать, см. также проверять) prove, demonstrate, show, establish• В качестве более сложного примера мы докажем, что... - As a slightly harder example we prove that...• В общем случае можно доказать, что... - In general, it is possible to prove that...• В результате теперь достаточно лишь доказать, что... - Consequently it is enough to prove that...• Вдобавок можно доказать, что... - In fact it can be proved that...• Гильберт был первым, кто доказал, что... - Hilbert was the first to prove that...• Для того, чтобы доказать этот результат, мы должны, во-первых, вычислить... - In order to prove this result we must first calculate...• Докажем теперь обобщение теоремы 1. - We now prove a generalization of Theorem 1.• Полезность данной теории еще необходимо доказать. - The utility of this theory has yet to be demonstrated.• Иногда весьма трудно доказать, что... - It is sometimes quite difficult to prove that...• Исходя из этих сведений, легко доказать, что... - From these facts it is easy to prove that...• Итак, мы уже доказали, что... - We have thus proved that...• Мы все еще должны доказать, что... - We still must show that...• Мы докажем эту теорему при дополнительном предположении, что... - We prove this theorem subject to the extra assumption that...• Мы докажем, что... - We deduce that...• Мы доказали следующий результат. - We have proved the following result.• Мы можем доказать правильность соотношения (6), заметив, что... - We can prove the correctness of (6) by observing that...• Мы можем доказать это без (особого) труда. - We can prove this without difficulty.• Мы надеемся доказать гипотезу Смита в ближайшие годы. - We hope to prove Smith's conjecture within a few years.• Мы надеемся доказать, что... - We hope to prove that...• Мы надеемся удалить эти ограничения и доказать более общий результат. - We hope to remove these restrictions and prove a more general result.• Мы надеемся, что кто-нибудь докажет гипотезу Смита в ближайшие годы. - We hope that someone will prove Smith's conjecture within the next few years.• Мы не будем доказывать здесь чрезвычайно правдоподобное утверждение, что... - We will not prove here the very reasonable statement that...• Мы не предлагаем доказывать существование... - We do not propose to prove the existence of...• Мы только что доказали, что... - We have just proved that...• На этом пути мы надеемся доказать существенный результат. - We hope to prove a significant result along these lines.• Наконец, мы можем доказать, что... - Finally, we can prove that...• Остается доказать, (что)... - It remains to show (that)...• Подобное рассуждение доказало бы, что... - A similar argument would prove that...• Подобные принципы доказали свою полезность при проектировании... - Similar principles prove helpful in the design of...• Подобные рассуждения доказывают следующий результат. - Arguments of the same type prove the following result.• Подобные результаты убедительно доказывают, что... - Such results conclusively prove that...• Поняв это, мы можем доказать следующее. - With this understanding, we can prove the following.• Следовательно, можно доказать, что... -It is therefore justifiable to...• Следовательно, мы должны доказать лишь, что... - Hence we have only to prove that...• Сначала мы обязаны доказать следующую теорему. - We must first prove the following theorem.• Строго говоря, мы доказали лишь, что... - Strictly speaking, we have only proved that...;• Тем лее способом мы доказываем, что... - In the same way we prove that...• Теперь мы доказываем важную теорему, принадлежащую Банаху. - We now prove an important theorem due to Banach.• Теперь мы доказываем два фундаментальных результата. - We now prove two fundamental results.• Теперь мы доказываем один фундаментальный результат. - We now prove a fundamental result.• Теперь мы можем доказать следующую теорему. - This result enables us to prove the following theorem; We are now able to prove the following theorem; With this result in hand, we can prove the following theorem; With this understanding, we can prove the following theorem; Knowing this, we can prove the following theorem; We can now prove the following theorem; We are now in a position to prove the following theorem; The following theorem is now within our reach; We are now ready for the following theorem.• Теперь мы можем сформулировать и доказать... - We are now in a position to state and prove...• Теперь мы подготовлены к тому, чтобы сформулировать и доказать... - We are now equipped to state and prove...• Теперь это предположение доказано, так как... - This assumption has now been justified, since...• Часто бывает проще доказать, что... - It is often easier to prove that...• Чтобы доказать обратное, достаточно заметить, что... - То prove the converse it is sufficient to notice that...• Чтобы доказать теорему, достаточно показать, что... - То prove the theorem it is sufficient to show that...• Чтобы доказать это следствие... - То see the corollary, use Proposition 1 to obtain the needed estimation.• Чтобы доказать это утверждение, мы сделаем упрощающее предположение, что... - То prove this statement, we make the simplifying assumption that...• Чтобы доказать эту теорему, во-первых, предположим, что... - То prove the theorem, suppose first that...• Чтобы доказать эту теорему, недостаточно увидеть, что... - То prove this theorem it is not enough to observe that...• Чтобы это доказать, нам остается лишь показать, что... - То prove this we need only show that...• Это доказывает лишь то, что... - This proves only that...• Это доказывает первое утверждение. - This proves the first assertion.• Это доказывает, что... - This proves that...• Это можно доказать следующим образом. - This may be proved as follows.• Этот подход доказал свою полезность в определении ранних стадий... - This approach has proven useful in identifying the early stages of...• что и требовалось доказать (= ч. т. д. ) - Q. E. D. -
7 предлагать
(= предложить) offer, propose, suggest, recommend• Были предложены несколько методов. - Several techniques have been suggested.• Было предложено, чтобы/что... - It has been suggested that...; It has been proposed that...• В данной главе мы предлагаем обсудить... - In this chapter we propose to discuss...• В качестве поддержки для начинающего мы предлагаем следующее. - As encouragement for the beginner, we offer the following.• В подобных случаях было предложено... - In such cases it was suggested that...• Возможно, мы могли бы предложить в качестве гипотезы (что-л)... - We might perhaps conjecture that...• Давайте предложим следующее в качестве пробного решения. - Let us propose the following as a trial solution.• Данная диаграмма предлагает объяснение... - This diagram offers a perspective on...• Для этого Зоммерфельд предложил (= дал) следующий совет. - То this end, Sommerfeld offered the following words of advice.• Другой метод был предложен Джонсом [1]. - A different method has been given by Jones [1].• Изучение логики предлагает (= дает) возможность отточить способности к рассуждениям. - The study of logic offers an opportunity to sharpen one's reasoning skills.• Каждодневный опыт предлагает (= дает)... - Everyday experience suggests that...• Коши предложил простой метод для проверки сходимости подобных рядов. - Cauchy devised a simple method for determining the convergence of such series.• Мы могли бы предложить следующий подход. - We might suggest the following approach.• Мы не предлагаем доказывать существование (решения и т. п.)... - We do not propose to prove the existence of...• Мы хотели бы предложить следующую альтернативу. - We would like to propose the following alternative.• Один очень интересный подход был предложен Смитом [1]. - A very interesting approach has been proposed by Smith [1].• Он предлагает новую теорию данного явления. - Не put forward a new theory for this phenomenon.• Разумно предложить... - It is reasonable to suggest that...; It stands to reason that...• Решение этой дилеммы было предложено Смитом [1] в 1980 г. - A way out of this dilemma was proposed in 1980 by Smith [1].• Симметрия (выражения) предлагает (= дает) нам, что... - Symmetry tells us that...• Смит [1] предложил метод вычисления... - Smith [1] has proposed a method of calculating...• Тем не менее, имеется достаточное основание предложить... - Nevertheless, there is enough evidence to suggest that...• Эта аналогия часто используется, чтобы предложить... - The analogy is often used to suggest that...• Эта идея уже была использована Смитом [1], который предлагает (что-л)... - This idea has been exploited by Smith [1], who suggests that...• Эти данные предлагают, что... - These data suggest that...• Это было предложено как объяснение для... -This has been suggested as an explanation for...• Это заставило нескольких авторов предложить использование... - This has led several authors to propose the use of...• Это объяснение было предложено Смитом [1], который... - This explanation was proposed by Smith [1], who...• Этот результат предлагает естественное обобщение... - This result suggests a natural generalization of...
См. также в других словарях:
Существование Бога — Попытки доказать существование Бога, которые хотя бы частично основаны на эмпирических наблюдениях и логике, принято называть доказательствами бытия Божия. Эти рациональные доводы, в целом, противопоставляются религиозному иррационализму,… … Википедия
Доказательства бытия Бога — Попытки доказать существование Бога, которые хотя бы частично основаны на эмпирических наблюдениях и логике, принято называть доказательствами бытия Божия. Эти рациональные доводы, в целом, противопоставляются религиозному иррационализму,… … Википедия
Доказательства бытия Божия с православной точки зрения — Попытки доказать существование Бога, которые хотя бы частично основаны на эмпирических наблюдениях и логике, принято называть доказательствами бытия Божия. Эти рациональные доводы, в целом, противопоставляются религиозному иррационализму,… … Википедия
ИНТУИЦИОНИСТСКАЯ ЛОГИКА — одна из наиболее важных ветвей неклассической логики, имеющая своей филос. предпосылкой программу интуиционизма. Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил.… … Философская энциклопедия
ИРРАЦИОНАЛИЗМ — (от лат. irrationalis неразумный) филос. концепция, отрицающая возможность разумного познания действительности или существенным образом ограничивающая такую возможность. Отрицая или принижая рациональное познание, И. выдвигает на первый план… … Философская энциклопедия
НЕПОДВИЖНАЯ ТОЧКА — 1) Н. т. отображения Fмножества X такая точка , что . Доказательства существования Н. т. и методы нахождения Н. т. важные задачи математики, т. к. решение всякого уравнения путем преобразования его к виду сводится к нахождению Н. т. отображения … Математическая энциклопедия
интуиционистская логика — одна из наиболее важных ветвей логики неклассической, имеющая своей философской предпосылкой программу интуиционизма. Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил.… … Словарь терминов логики
Налоги — (Taxes) Определение налогов, классификация и виды налогов Информация об определении налогов, классификация и виды налогов Содержание Содержание Определение Доктринальные определения налоги как экономическая категория Генезис категории налог в… … Энциклопедия инвестора
РЕФЛЕКСОЛОГИЯ — РЕФЛЕКСОЛОГИЯ, учение о рефлексах об отражательных явлениях в организме (см. Рефлексы) .1. Сущность терминологии. Ряд функций в растительном, животном и человеческом организме, протекающих быстро и в порядке ответа на раздражение, приложенное… … Большая медицинская энциклопедия
Перевозка пассажиров грузов (клади) и известий — (корреспонденции; сюда же относят и передачу по телеграфу депеш) составляет предмет особой юридической регламентации, имеющей длинную историю. В римском праве П. сливается с договором подряда (см.). Возчик обязывается за определенную плату… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Перевозка пассажиров, грузов и известий — (клади) (корреспонденции; сюда же относят и передачу по телеграфу депеш) составляет предмет особой юридической регламентации, имеющей длинную историю. В римском праве П. сливается с договором подряда (см.). Возчик обязывается за определенную… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона